Proof by Actions